UML Diagrams and Source based Automatic Test Suite Regeneration for Improving State Model Coverage

نویسندگان

  • Afrina Khatun
  • Naushin Nower
  • Kazi Sakib
چکیده

Automated test regeneration intends to ensure high coverage of system model from an existing test suite. While regenerating test suite, most of the existing techniques ignore coverage achieved by existing test suite. As a result, these techniques leave important model elements untested. Thus, an automatic test regeneration technique to achieve high state model coverage is proposed. In the proposed technique, Input Parser module processes inputted UML diagrams, source code and test suite as XML elements, source class and test steps respectively. The Coverage Computational module measures model coverage result by executing the existing test suite. Finally, Test Regeneration module regenerates executable test cases considering coverage result, UML and source information. The experimental results on four projects show that the proposed technique improves transition and state coverage of existing test suite on average by 61.26% and 52.95% respectively. Moreover, the technique has also successfully regenerated 98% executable test cases.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques

UML State Chart Diagrams are the basic models used to derive test paths from intermediate graphs generated automatically using graph coverage techniques in addition to the tool support provided by MBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage, Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till t...

متن کامل

Automated Test Code Generation from UML Protocol State Machines

This paper presents a framework for automated generation of executable test code from UML 2.0 protocol state machines. It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage. It transforms the state invariants and transition postconditions of a state model into executable assertions to be verified against...

متن کامل

Improving Test Coverage for UML State Machines Using Transition Instrumentation

We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverage for different testing objectives. We argue that a better coverage can be achieved by instrumenting transitions, and performing an appropriate preand postprocessing. We describe the neces...

متن کامل

An Empirical Study of Test Cases Selection by Applying Criteria to Activity Diagram

In principle, structural coverage criterion enables the evaluation of test results and the automation of test execution; however, it is limited in that it cannot be applied to specification based testing. Model-Based Testing is one of the solutions used to overcome this limitation. We propose an approach in which UML activity diagrams are used as a model. Once these activity diagrams are genera...

متن کامل

Test models and coverage criteria for automatic model-based test generation with UML state machines

Testing is an important means of quality management and is widely used in industrial practice. Model-based functional testing is focussed on comparing the system under test to a test model. This comparison usually consists of automatically generating a test suite from the test model, executing the test suite, and comparing the observable behavior to the expected one. Important advantages of mod...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017